- principal ultrafilter
- мат.главный ультрафильтр
English-Russian scientific dictionary. 2008.
principal ultrafilter
Смотреть что такое "principal ultrafilter" в других словарях:
Ultrafilter — In the mathematical field of set theory, an ultrafilter on a set X is a collection of subsets of X that is a filter, that cannot be enlarged (as a filter). An ultrafilter may be considered as a finitely additive measure. Then every subset of X is … Wikipedia
Ultralimit — For the direct limit of a sequence of ultrapowers, see Ultraproduct. In mathematics, an ultralimit is a geometric construction that assigns to a sequence of metric spaces Xn a limiting metric space. The notion of an ultralimit captures the… … Wikipedia
Filter (mathematics) — The powerset algebra of the set {1,2,3,4} with the upset colored green. The green elements make a principal ultrafilter on the lattice. In mathematics, a filter is a special subset of a partially ordered set. A frequently used special case is the … Wikipedia
Measurable cardinal — In mathematics, a measurable cardinal is a certain kind of large cardinal number. Contents 1 Measurable 2 Real valued measurable 3 See also 4 References … Wikipedia
Cofinite — In mathematics, a cofinite subset of a set X is a subset Y whose complement in X is a finite set. In other words, Y contains all but finitely many elements of X . If the complement is not finite, but it is countable, then one says the set is… … Wikipedia
Cofiniteness — Not to be confused with cofinality. In mathematics, a cofinite subset of a set X is a subset A whose complement in X is a finite set. In other words, A contains all but finitely many elements of X. If the complement is not finite, but it is… … Wikipedia
Construction of the real numbers — In mathematics, there are several ways of defining the real number system as an ordered field. The synthetic approach gives a list of axioms for the real numbers as a complete ordered field. Under the usual axioms of set theory, one can show that … Wikipedia
Critical point (set theory) — In set theory, the critical point of an elementary embedding of a transitive class into another transitive class is the smallest ordinal which is not mapped to itself.[1] Suppose that j : N → M is an elementary embedding where N and M are… … Wikipedia
Martin's axiom — In the mathematical field of set theory, Martin s axiom, introduced by Donald A. Martin and Robert M. Solovay (1970), is a statement which is independent of the usual axioms of ZFC set theory. It is implied by the continuum hypothesis, so… … Wikipedia
Non-standard model of arithmetic — In mathematical logic, a nonstandard model of arithmetic is a model of (first order) Peano arithmetic that contains nonstandard numbers. The standard model of arithmetic consists of the set of standard natural numbers {0, 1, 2, …}. The elements… … Wikipedia
Stone–Čech compactification — In the mathematical discipline of general topology, Stone–Čech compactification is a technique for constructing a universal map from a topological space X to a compact Hausdorff space beta; X . The Stone–Čech compactification beta; X of a… … Wikipedia
